Discrete state observability of hybrid systems
نویسندگان
چکیده
منابع مشابه
Computation Observability Regions for Discrete-time Hybrid Systems
In this paper we focus on observability for hybrid systems in the mixed-logic dynamical form. We show that the maximal set of observable states, that is usually non convex and disconnected, can be represented as the union of finitely many polytopic regions. The argument, that is based on multi-parametric programming theory, is constructive and provides an algorithm for the computation of the re...
متن کاملSupervisory Control of Discrete Event Systems with State-dependent Observability
This paper considers a new class of discrete event systems under partial observations. The problem is presented within the background of a manufacturing process where workpieces are loaded and transported, and this process is controlled with the partial information collected by sensors. The model extracted is novel because the observation of an event does not only depend on an event itself, but...
متن کاملObservability of Linear Hybrid Systems
We analyze the observability of the continuous and discrete states of a class of continuous-time linear hybrid systems. We derive necessary and sufficient conditions that the structural parameters of the model must satisfy in order for filtering and smoothing algorithms to operate correctly. Our conditions are simple rank tests that exploit the geometry of the observability subspaces generated ...
متن کاملObservability and Forward-Backward Observability of Discrete-Time Nonlinear Systems
In this paper, we study the observability properties of nonlinear discrete time systems. Two types of contributions are given. First, we present observability criteria in terms of appropriate codistributions. For particular, but significant, classes of systems we provide criteria that require only a finite number of computations. Then, we consider invertible systems (which includes discrete-tim...
متن کاملObservability of Discrete Event Dynamic Systems
A finite state automaton is adopted as a model for Discrete Event Dynamic Systems (DEDS). Observations are assumed to be a subset of the event alphabet. Observability is defined as having perfect knowledge of the current state at points in time seperated by bounded numbers of transitions. A polynomial test for observability is given. It is shown that an observer may be constructed and implement...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Robust and Nonlinear Control
سال: 2009
ISSN: 1049-8923
DOI: 10.1002/rnc.1432